21. Graph and Model Transformation

پدیدآورنده:

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Computer science,کامپیوتر,a03,a03,Software engineering.,Categories (Mathematics),م‍ه‍ن‍دس‍ی‌ ن‍رم‌ اف‍زار ,رسته‌ها (ریاضیات)

رده :
QA
76
.
G7
2015
E-Book
,

22. Guide to discrete mathematics :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science-- Mathematics.,Algorithms & data structures.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Data Processing.,Computers-- History.,Computers-- Logic Design.,Computers-- Programming-- General.,Computing & information technology.,Discrete mathematics.,Mathematical modelling.,Mathematics-- Applied.,Maths for computer scientists.

رده :
QA76
.
9
.
M35

23. Integrating Routing Decisions in Public Transportation Problem

پدیدآورنده:

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: Mathematics,Computer software,Civil engineering,Mathematics,Operations Research, Management Science,Civil Engineering,Algorithm Analysis and Problem Complexity

رده :
E-BOOK

24. Introduction to cryptography with open-source software /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer security.,Cryptography-- Mathematics.,Data encryption (Computer science),Open source software.

25. MATLAB 7 :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Computer software.,Mathematics.,Computer science.,Computer software.,Mathematics.,MATLAB 7.0

رده :
QA76
.
75-76
.
765

26. Mathematical and Engineering Methods in Computer Science

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Computer science -- Congresses,Computer science -- Mathematics -- Congresses,Software engineering -- Congresses,علوم کامپیوتر -- کنگره‌ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها,نرم‌افزار -- مهندسی -- کنگره‌ها

رده :
E-Book
,

27. Mathematical and Engineering Methods in Computer Science

پدیدآورنده:

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Computer science -- Congresses.,Computer science -- Mathematics -- Congresses.,Software engineering -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,نرم‌افزار -- مهندسی-- کنگره‌ها

رده :
QA
75
.
5
.
M32
2016
E-Book
,

28. Mathematical and engineering methods in computer science

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science-- Mathematics, Congresses,Computer science, Congresses,Software engineering, Congresses

رده :
QA75
.
5
.
M46
2011eb

29. Mathematics for the Analysis of Algorithms

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Algorithms.,Computer science.,Computer software.,Mathematics.

30. Mathematics of software constructions

پدیدآورنده:

کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)

موضوع: ، Mathematics- 1691-,، Computer science- Mathematics,، Software eingineering

رده :
QA
39
.
2
.
N67

31. Methods and Models in Mathematical Programming

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Mathematics. ; Software engineering. ; Computational Mathematics and Numerical Analysis. ; -Computer mathematics. ; Computer science

32. Perspectives of System Informatics

پدیدآورنده:

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Software engineering -- Congresses.,Computer science -- Congresses.,Computer science -- Mathematics -- Congresses.,نرم‌افزار -- مهندسی-- کنگره‌ها ,علوم کامپیوتر -- کنگره‌ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها

رده :
QA
76
.
758
.
P47
2015
E-Book
,

33. Perspectives on Software Requirements

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Computer-aided design.,Mathematics.,Software engineering.,Systems theory.

34. Quality of Communication-Based Systems :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Mathematics.,Software engineering.

رده :
QA76
.
9
.
A23
E358
1995

35. Realtime Data Minin

پدیدآورنده:

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: Mathematics,Computer science,Computer software,Electronic books

رده :
E-BOOK

36. Recent trends in algebraic development techniques

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Computer software ; Development ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Abstract data types (Computer science) ; Congresses. ;

37. Recent trends in algebraic development techniques

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Computer software--Development--Congresses,Computer science--Mathematics--Congresses,Abstract data types (Computer science)--Congresses

رده :
QA
,
76
.
754
,
W32
,
2004

38. Recent trends in algebraic development techniques

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Computer software--Development--Congresses,Computer science--Mathematics--Congresses,Abstract data types (Computer science)--Congresses

رده :
QA
,
76
.
76
,.
D47
,
W33
,
2006

39. Recent trends in algebraic development techniques

پدیدآورنده:

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Computer software -- Development -- Congresses.,Computer science -- Mathematics -- Congresses,Formal methods (Computer science) -- Congresses.,نرم‌افزار -- تولید -- کتگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,روش‌های صوری (کامپیوتر) -- کنگره‌ها

رده :
QA
76
.
76
.
D47
W32
2015
E-Book
,

40. Recent trends in algebraic development techniques :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Computer software ; Development ; Congresses ; Computer science ; Mathematics ; Congresses ; Abstract data types (Computer science) ; Congresses ;